Full Proof Baking